(assert xor)
(check-sat)
